It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Continue readingThis book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Continue readingThis volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Continue readingThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue readingThe book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Continue readingThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Continue readingIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Continue readingMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Continue readingThis book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
Continue readingThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Continue readingThis book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Continue readingThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue reading